And then we basically went into the technicalities.

I'm doing this again because I use my own notation.

If you have 10 logicians in a room,

you'll at least have 13 standard notations.

So it's probably good if I tell you what mine is,

the one we're going to use in this course.

One of the things you'll have noticed,

no flags, no Fitch, because I don't like it.

Good. Okay. So what do we have?

We have individual things.

We have properties of such individuals,

relations among these individuals,

and functions on these individuals.

That gives us the level of things,

basically the level of talking about things.